Model checking

Results: 996



#Item
311

Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

Add to Reading List

Source URL: staff.aist.go.jp

Language: English - Date: 2015-12-08 00:16:08
    312

    Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider the formal verification of the cache coherence

    Add to Reading List

    Source URL: www.kenmcmil.com

    Language: English - Date: 2006-06-02 17:23:24
      313

      Model Checking mc 1 Revision: 1.12 • check algorithmically temporal / sequential properties

      Add to Reading List

      Source URL: fmv.jku.at

      Language: English - Date: 2006-03-29 04:32:22
        314

        Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

        Add to Reading List

        Source URL: homepages.inf.ed.ac.uk

        Language: English - Date: 2011-04-28 11:25:29
          315

          Evaluating Access Control Policies Through Model Checking  

          Add to Reading List

          Source URL: www.cs.bham.ac.uk.

          Language: English - Date: 2009-02-25 10:33:24
            316

            Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

            Add to Reading List

            Source URL: www.cs.tsukuba.ac.jp

            Language: English - Date: 2011-06-15 23:13:40
              317

              UNIVERSITA’ DEGLI STUDI DI MILANO Dipartimento di Scienze dell’Informazione RAPPORTO INTERNO N◦ RIAutomated Termination in Model Checking

              Add to Reading List

              Source URL: users.mat.unimi.it

              Language: English - Date: 2012-08-28 17:07:14
                318

                Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

                Add to Reading List

                Source URL: staff.aist.go.jp

                Language: English - Date: 2015-12-08 00:16:09
                  319

                  FO Model Checking on Nested Pushdown Trees Alexander Kartzow TU Darmstadt, Fachbereich Mathematik, Schlossgartenstr. 7, 64289 Darmstadt Abstract. Nested Pushdown Trees are unfoldings of pushdown graphs with an additional

                  Add to Reading List

                  Source URL: www.kartzow.de

                  Language: English - Date: 2015-02-23 08:46:54
                    320

                    A Lower Bound for FO Model Checking on Nested Pushdown Trees Alexander Kartzow | Uni Leipzig March 20, 2012

                    Add to Reading List

                    Source URL: www.kartzow.de

                    Language: English - Date: 2015-02-23 08:49:23
                      UPDATE